-- MAIN == 2
DEF MAIN:nat == IF true THEN 2 FI
